Toward Protected Tagged Types in Ada 95
نویسنده
چکیده
Inheriting code which includes concurrent constructs causes a set of problems , collectively known as inheritance anomaly. This is why protected tagged types do not exist in Ada 95. Anyway, code can be written in Ada 95 which allows to safely reuse and extend the state and code encapsulated in a protected type. On the other hand, extending by adding new operations is more diicult, due to the inheritance anomaly. This article describes a way to reuse and extend with new operations the code provided by a protected type.
منابع مشابه
Implementing Atomic Actions in Ada 95
Atomic actions are an important dynamic structuring technique that aid the construction of fault-tolerant concurrent systems. Although they were developed some years ago, none of the well-known commercially-available programming languages directly support their use. This paper summarizes software fault tolerance techniques for concurrent systems, evaluates the Ada 95 programming language from t...
متن کاملSlicing Tagged Objects in Ada 95
This paper presents an approach to representing dependencies for object-oriented (OO) Ada 95 programs. This new approach distinguishes subcomponents for different objects and represents the effects of polymorphism and dynamic bindings. Based on this model, we developed approaches to slicing subprograms, packages/types and hierarchies of types. Our slicing algorithm is more efficient because mos...
متن کاملExtending the Object-Orientedness of Ada 95
In the object-oriented extension of Ada 95 some constructs and connected type rules have been introduced that restrict the flexibility in using the whole set of features the object-oriented paradigm provides. Especially the introduction of tagged types leads to a loss of potential reuse if efficiency is of concern while the rules connected with dispatching disable full static type checking for ...
متن کاملObject-Oriented Programming with Protected Types
Integrating concurrent and object-oriented language facilities is currently an active research area. There are a few experimental languages which attempt to combine various models of concurrency within an OOP framework. Most of these suffer from the so called inheritance anomaly where a concurrent object’s synchronisation code needs to be modijied if the object is extended. Ada 95 has avoided s...
متن کاملObject-Oriented Programming and Protected Objects in Ada 95
Integrating concurrent and object-oriented programming has been an active research topic since the late 1980s. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language which is an extension to the object-based co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007